Griggio, Alberto: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (14)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis

Roberto Bruttomesso, Alessandro Cimatti, Anders Franzen, Alberto Griggio, Roberto Sebastiani

Журнал:

Annals of Mathematics and Artificial Intelligence

Рік:

2009

Мова:

english

Файл:

PDF, 1.54 MB

english, 2009

2

Deciding floating-point logic with abstract conflict driven clause learning

Brain, Martin, D’Silva, Vijay, Griggio, Alberto, Haller, Leopold, Kroening, Daniel

Журнал:

Formal Methods in System Design

Рік:

2014

Мова:

english

Файл:

PDF, 1.09 MB

english, 2014

3

[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Parameter synthesis with IC3

Cimatti, Alessandro, Griggio, Alberto, Mover, Sergio, Tonetta, Stefano

Рік:

2013

Мова:

english

Файл:

PDF, 251 KB

english, 2013

4

[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - Software model checking via large-block encoding

Beyer, Dirk, Cimatti, Alessandro, Griggio, Alberto, Keremoglu, M. Erkan, Univers, Simon Fraser, Sebastiani, Roberto

Рік:

2009

Мова:

english

Файл:

PDF, 232 KB

english, 2009

5

Efficient generation of craig interpolants in satisfiability modulo theories

Cimatti, Alessandro, Griggio, Alberto, Sebastiani, Roberto

Журнал:

ACM Transactions on Computational Logic

Рік:

2010

Мова:

english

Файл:

PDF, 1.09 MB

english, 2010

6

Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking

Griggio, Alberto, Roveri, Marco

Журнал:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Рік:

2015

Мова:

english

Файл:

PDF, 1.29 MB

english, 2015

7

Infinite-state invariant checking with IC3 and predicate abstraction

Cimatti, Alessandro, Griggio, Alberto, Mover, Sergio, Tonetta, Stefano

Журнал:

Formal Methods in System Design

Рік:

2016

Мова:

english

Файл:

PDF, 1.87 MB

english, 2016

8

Preface to special issue on satisfiability modulo theories

Griggio, Alberto, Rümmer, Philipp

Журнал:

Formal Methods in System Design

Рік:

2017

Мова:

english

Файл:

PDF, 273 KB

english, 2017

9

Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions

Cimatti, Alessandro, Griggio, Alberto, Irfan, Ahmed, Roveri, Marco, Sebastiani, Roberto

Журнал:

ACM Transactions on Computational Logic

Рік:

2018

Мова:

english

Файл:

PDF, 6.58 MB

english, 2018

10

[IEEE 2018 Formal Methods in Computer Aided Design (FMCAD) - Austin, TX, USA (2018.10.30-2018.11.2)] 2018 Formal Methods in Computer Aided Design (FMCAD) - Certifying Proofs for LTL Model Checking

Griggio, Alberto, Roveri, Marco, Tonetta, Stefano

Рік:

2018

Файл:

PDF, 10 KB

2018

11

Symbolic Computation and Satisfiability Checking

Davenport, James H., England, Matthew, Griggio, Alberto, Sturm, Thomas, Tinelli, Cesare

Журнал:

Journal of Symbolic Computation

Рік:

2019

Мова:

english

Файл:

PDF, 329 KB

english, 2019

12

[IEEE 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2018.9.20-2018.9.23)] 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions

Cimatti, Alessandro, Griggio, Alberto, Irfan, Ahmed, Roveri, Marco, Sebastiani, Roberto

Рік:

2018

Мова:

english

Файл:

PDF, 486 KB

english, 2018

13

SMT-based satisfiability of first-order LTL with event freezing functions and metric operators

Cimatti, Alessandro, Griggio, Alberto, Magnago, Enrico, Roveri, Marco, Tonetta, Stefano

Журнал:

Information and Computation

Рік:

2019

Файл:

PDF, 533 KB

2019

14

A Practical Approach to Satisfiability Modulo Linear Integer Arithmetic

Griggio, Alberto

Журнал:

Journal on Satisfiability, Boolean Modeling and Computation

Рік:

2012

Файл:

PDF, 936 KB

2012